Tree model - PDFSEARCH.IO - Document Search Engine

Tree model
Results: 571

#	Item
121	Tree Automata over Inﬁnite Alphabets Michael Kaminski and Tony Tan Department of Computer Science, Technion – Israel Institute of Technology, Haifa 32000, Israel {kaminski,tantony}@cs.technion.ac.il Dedicated to Bori Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Tree automaton Regular language Logic Ω-automaton Automata theory Symbol Model theory
122	Security Adoption in Heterogeneous Networks: the Influence of Cyber-insurance Market Zichao Yang and John C.S. Lui Computer Science & Engineering Department The Chinese University of Hong Kong Abstract. Hosts (or nodes) Add to Reading List Source URL: www.cs.cuhk.hk Language: English - Date: 2012-06-30 22:31:18 Mathematics Cybernetics Network science Degree distribution Connectivity B-tree Generalized scale-free model Graph theory Network theory Networks
123	CudaTree Training Random Forests on the GPU Alex Rubinsteyn (NYU, Mount Sinai) @ GTC on March 25th, 2014 Add to Reading List Source URL: www.rubinsteyn.com Language: English - Date: 2015-02-02 14:12:28 Random forest Tree Decision tree model Learning Applied mathematics Decision trees Ensemble learning Artificial intelligence
124	Decision Procedures for Algebraic Data Types with Abstractions Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-11-10 09:06:44 Model theory Predicate logic Ground expression First-order logic Binary tree Lambda calculus Interpretation Function Tree Mathematical logic Mathematics Logic
125	An Efficient Decision Procedure for Imperative Tree Data Structures ? Thomas Wies1 , Marco Mu˜niz2 , and Viktor Kuncak3 1 Institute of Science and Technology (IST), Austria Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:28 Model theory Predicate logic Formal languages Metalogic First-order logic Interpretation Ground expression Atomic formula Well-formed formula Logic Mathematics Mathematical logic
126	Dynamic Graphs in the Sliding-Window Model? Michael S. Crouch, Andrew McGregor, and Daniel Stubbs University of Massachusetts Amherst 140 Governors Drive, Amherst, MA 01003 {mcc,mcgregor,dstubbs}@cs.umass.edu Add to Reading List Source URL: people.cs.umass.edu Language: English - Date: 2013-06-23 17:01:11 Spanning tree Combinatorial optimization Matching Minimum spanning tree Graph NP-complete problems Graph theory Theoretical computer science Mathematics
127	Title A Mathematical Model for the Urban Forest Investigative Question How can the health of an urban forest be determined with a simple mathematical model using data collected from street trees? Add to Reading List Source URL: wwx.inhs.illinois.edu Language: English - Date: 2012-06-15 11:48:44 Flora Environmental design Urban forestry Urban studies and planning Tree worship Urban forest Arborist Tree Quercus palustris Flora of the United States Forestry Environment
128	Decision Procedures for CTL∗ Oliver Friedmann and Markus Latte Dept. of Computer Science, University of Munich, Germany Abstract. We give an overview over three serious attempts to devise an eﬀective decision method Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:07 Mathematics CTL* Method of analytic tableaux Formal language Model checking Temporal logic Finite-state machine Tree automaton Powerset construction Automata theory Theoretical computer science Applied mathematics
129	Online Computation with Advice Yuval Emek1 ? , Pierre Fraigniaud2 ?? , Amos Korman2 Add to Reading List Source URL: www.liafa.jussieu.fr Language: English - Date: 2010-02-08 08:39:17 Computational complexity theory Applied mathematics Competitive analysis K-server problem Randomized algorithm Metrical task system Adversary model Minimum spanning tree Bin packing problem Theoretical computer science Online algorithms Analysis of algorithms

UPDATE